The teacher's use of language is also important. For example, in work on level 1, terms such as all, some, always, never, sometimes should be modeled and encouraged. Level-2 phrases include"it follows that …” and "if…,then…” Level 3 would use and stress the meanings of axiom, postulate, theorem, converse, necessary and sufficient, and so on.