NF: cartesian product