4 ms·

I like how he formalized future state into propositional logic so you could reason about a system across time.