Updated MyProve - works, but ugly
More work on MyProve