06_PatAlyssaEdits06_PatAlyssa_Proofs