Editorial Note: The online edition corrects an error made in the print edition of Random Lengths regarding the outcome of…