an abstract interpretation of the mona lisa