The mathematics that keeps ropes from unwinding.