cec: and now proper predicates