Comments there weren't really helpful, took me a while to get what they try to say. This attempts to add a better explanation. Also add an assert for a previous, implicit (but commented) assumption, and some minor cleanups.
Comments there weren't really helpful, took me a while to get what they try to say. This attempts to add a better explanation. Also add an assert for a previous, implicit (but commented) assumption, and some minor cleanups.