Ethan Jackson compiling lunch (instead of code for a change). Ethan was one of the presenters of the "Formal Modeling with FORMULA: From Specifications to Design Space" tutorial.