All the awesome power alluded to in [Thinking for Programmers](http://channel9.msdn.com/Events/Build/2014/3-642), now just a `brew cask install tla-plus-toolbox` away