cartesian product {0, 1}, {2, 3}