Cartesian product and specs