Improve predicate tableaux.
Typo police.
Simplify.