File:TS-UGOS for TheoryPDA 2.0 screenshot.png