Knihovna logických her v prostředí Mathematica - Trčka, Tomáš (2014)