Logica para el production cartesiano.