Formal Analysis Of The Mona Lisa