Comment by mkl

I expected a matter-of-fact explanation of a simple error, and a comment thread that was collapsed - exactly what I found. reductum implied there wasn't an explanation and that the complaining comment thread had been deleted without comment, both of which were hard to believe, so I went looking.