checkpoints

• cantors
• Wall
• producer
• Diophantine
• overselling
• sward