Added cartesian product from p. 44 ex. 2