(v)notchcut or make a notch into“notch the rope”