Doesn't require a function declaration for the predicate