checkpoints

• rejecting
• quantifier
• unknown
• owning
• Ingres