Document `product`
Document `promise`
Document `quotient`