SEMI-FORMAL