Understanding Formal Analysis