Comment by symstym

I think this is a much better introduction than TLA, thanks.