I've been going through all of the properties for Proofs (Statements/Reasons) but I'm drawing a blank. Can someone help? Thanks!