preface on model about the subset of ht elanguage we consider