The mathematics of rope splicing.