the instructions for how to tie a double fisherman's knot with two different ropes