checkmated

• Ocaml
• Concorde
• Whitaker
• reconditions
• debriefed