Formal Analysis: Visual Qualities