Building an intuition for the mathematics behind the "TLA" in "TLA+"