Formal Analysis Assignment.pdf