Title: Formal Semantics and form the basis of note (2)