Formal Assignments