Austin and Travis Schuh's Deriving Consistency From LEGOs v3 with CR PowerPoint

Edmond Macaluso swapped in a picture of the simple robot in this version and then made the PDF from it.