TheOtherDave comments on The hundred-room problem