Re: [math-fun] Asimov's rolling ball (I was wrong; partial repair)