Formal Foundation Assignment