FORMAL Analysis of works WORKSHEET