First step towards predicate logic.