note thmsdrew <p>I trust the math of it. It's not that I'm not confident that [grizzley]'s solution is mathematically sound. Rather, I'm not confident in my own ability to fully understand that use of <code>map</code>, especially if I were to stop thinking about this and come back to it later. I also don't really see the need.</p> 991822 991915