updated/added justifications, conclusions, etc
updated/added justifications, conclusions, etc

Multiple Justifications; Conclusions; Contradiction; QED;

siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround