add redundant information to the procedures section