Introduced the product bijection, and some other small improvements.