PoorC
Predicate