If a sequence cannot be algorithmically generated or described finitely, it cannot be known or verif...
This proposition has not been edited since the history system was added.