The knotty problem of choosing the optimum way of lacing up shoes has been solved by a new mathematical proof. There are many millions of different possibilities but ...