How To Start A Formal Analysis Paper