File:TS-UGOS for TheoryPDA 1.0 screenshot.png