Rewrote predicate logic.