updated/added justifications, conclusions, etc

Multiple Justifications; Conclusions; Contradiction; QED;