Use a simpler predicate. NFC.