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