## 1.5 Treatment of Blanks

Concerning the treatment of blanks in formulas, more than 2 blanks are
considered as one. One blank also can be omitted if the spelling of names
and operators do not get confused. For example, these types of formulas

g(x) and (All y)(f(y) imp h(y,x)) can be written as
g(x) and (All y)(f(y) imp h(y,x)), but cannot be expressed as
g(x)and (Ally)(f(y) imph(y,x)).