Work on issue #2
Proof fragments work
Merge pull request #5 from Leodmanx2/development

Development