[nxdmum]

Thank you Hillel Wayne. I did the your TLA+ book twice . I am sure this will be a great book.