• Why do we need relation predicates?
• Evaluation of relation predicates
• Symbolic manipulation of relation predicates
• Compatibility with Eq around codebase
• Migration from Eq to Q.eq