Cartesian products of two CR sets | Synapse