Surprise you're programming a machine that is governed by physics! Want to render that scene on that PS4 console over there at 60 fps? Well that disc drive can

Surprise you're programming a machine that is governed by physics! Want to render that scene on that PS4 console over there at 60 fps? Well that disc drive can only read bytes so fast and you have to update the physics simulation before all those effects are applied... 60 times per second. Physics. There is enough useful stuff in first-order and temporal logic for dealing with all of the challenges that specifying systems with the given properties and level of confidence that blueprints give us.