Understanding Formal Analysis " Elements of Art"