Procedure finished

Commit updated after the procedure requirement is working properly