Computational models define what 'efficient verification' means; syntactic classes are model-relativ...
This proposition has not been edited since the history system was added.