Predicate logic/Friend/Exercise