#7: tested perf entailments in case they are made impossible by a present tense prop
Closes #7.