Points_of_Proof_SMART