> Understanding, intuitively, the systems that mathematical models like TLA describe is _extraordinarily_ difficult. It is the opposite of intuitively extraord

> Understanding, intuitively, the systems that mathematical models like TLA describe is _extraordinarily_ difficult. It is the opposite of intuitively extraordinarily difficult. It is much easier and more intuitive than understanding code. It is, however, different from code, so your coding skill do not automatically transfer to TLA+, but developers are generally able not only to read but to write TLA+ specifications of complex systems after a 3-day workshop or about 2 weeks of part-time self-study. Learning TLA+ is far easier than learning a new programming language, and it is much simpler than any programming language in existence. The difficulty is not at all with intuition, but with unfamiliarity. In any event, reading TLA+ is much, much, much easier than writing/understanding the systems for which you use TLA+ for.