SEMI FORMALS