Developing Formal Procedures through Sense Making