Misunderstood previous comment. Fixed binary predicate.