How Long Is A Formal Analysis