The Dependent Product