Implement the key constraints in the predicate().