Morgan

just commercial use proofs that I am going to be keeping track of from now on, just in case of issues in the future

original file