How to write goal-based Procedures