Project Automata — Checkpoint