MSUDenver_Formal