Formal Assignment