MA_Formal_Session 2025_07_30