fixed cartesian products (even though they are not needed)