Prover works correctly and tiny little first version of GUI created.