Switched predicate to have a more readable constructor