Work-in-progress predicate tableaux improvement.