eq:long_rope_with_a_hook_tied