Predicate logic/Arithmetical predicates/Formulate/3/Exercise