include pair-operation, define, and some predicate.