[Luke_sml_proof.jpg]