AM/MO, Formalize