https://www.logicmatters.net/tyl/