Comment by khrm

A much shorter guide by the same author in 2 pages instead of 90: https://www.logicmatters.net/tyl/shorter-tyl/