Formal Analysis Art