ers: Leslie Lamport, “Computer Science and State Machines”, Contribution to a Festschrift honoring Willem-Paul de Roever on his retirement” (Redmond: Microsoft Research, 2008). In its entirety it runs: “Computer scientists collectively suffer from what I call the Whorfian syndrome—the confusion of language with reali