Make Formal Arguments