Add section on procedures