Greetings!
This is my first post here; I'm hoping to be able to help as well as be helped. However, for now, I'd like to start off with a question.

I am writing a program to do proofs in...