SEMI-FORMALS