added procedure.txt