Awesome, thank you, Hillel!

Bought the book, FWIW, and love it - but this will help me evangelize TLA+ with my employer and other groups!