6.4.1 Formal Commands