Here, I'm using andalso on how bout doubling 4, okay, is that equal to the product of the Racket list, because that is how I define the list product macro, if you will, of, how about const 2, and const 2 and const 1 and const 2. 