Java Util Function Predicate Definition Law