SMC Formal w/ my babayyy @dcrist10