Aug 9, 2014 · Tweet · August 2014 omg someone in this video just asked lamport if he'd spent... omg someone in this video just asked lamport if he'd spent much time with temporal logic ➛