You assume that product must exist. It does not have to.