5.6: Justification and Proof