completed simple predicate proof