Use right f() in predicate