The issue is that not all of us can go and get a bombass pastrami or corned beef sandwich anytime . A delicious PBJ is easily accessible . <| sep |> I personally tend to order them from Geekbuying , best price and free shipping though it takes several weeks to arrive . It ' s available on other Chinese sites too for same and also from Amazon for slightly more . <| sep |> Worked for ATT back then as well , 250 $ per call way back in 2011 ? . Some people were very happy to get their 0 $ smartphones <| sep |> Was that even alive ? <| sep |> 3 haugBOovxkIt ' s much better with sound , imho . <| sep |> Peaked at rank 120 this season and didnt now that . Wow . Thanks I guess . <| sep |> Believe it or not , Ronaldo tops LBJ in money and fame . <| sep |> You ' re contradicting yourself . You both say the system for reasoning can be outside the language , yet you reject the notion of the language allowing concept that would conflict with said external reasoning which is therefore not enforced by the language . You ' ve misunderstood . The constraints are enforced by the language . The reasoning tool need not be part of the language . Also assignment and local mutation are irrelevantIrrelevant to what ? To reasoning ? It isn ' t , because you can write an arbitrary imperative algorithm within any such step , so how would you reason about that ? Also , values can seep into the next state in Node in very sneaky ways say , through closures . A synchronous language ensures that all of the state is clearly visible . This implies synchronous semantics will cross the borders of a machineI don ' t think you ' ve read the paper or seen the talk , because it implies no such thing . Temporal logic allows to reason about synchronous steps occurring in arbitrary interleavings . And to anticipate your next question , such logic could also be applied to arbitrary imperative code , but the level of abstraction makes it infeasible . You would still need to account for failure , and by the time you do . your elegant simple system is just another complex distributed system with as many edge cases and failure modes as any other . It really isn ' t . Obviously , there are still many things to consider . But using a language with synchronicity and temporal logic in mind , makes global reasoning about consistency across faults etc . , much , much easier . Watch the talk . When people say distributed system these days , they mean something quite larger than what you seem to mean . Well , in my day job I formally specify and verify with temporal logic a complex distributed , consistent and faulttolerant database , but what do I know ?