https://malepipe.pages.dev/posts/knives-for-cutting-rope/