Paper – Formal Analysis

Please see attachment for the instructions.