Further work on procedures