Update 1.2-on-procedures.md