How to tie a noose