Cleaned up gmproof.sh