→ 1: You can use a function return value as argument for predicate p(f(x)), but p(p(x)) or f(p(x)) are not valid - p(x) returns nothing in the sense of functions