> I stumbled on a great way to explain the temporal logic of actions that TLA+ is based on. [emphasis added] I mean, it's spelled out right there in the post s

> I stumbled on a great way to explain the temporal logic of actions that TLA+ is based on. [emphasis added] I mean, it's spelled out right there in the post so what's the complaint? And I double checked, that's copied from the email on Tuesday so not a later addition. He does seem to have changed it on the page for people who don't want to read so now the T, L, and A in the words are capitalized and bolded.