How To Write A Formal Analysis