[math-fun] tightening knots