Checkpoint: navigation state machine as discussed with Lorenz