purpose: (andmap p (list x-1 ... x-n)) = (and (p x-1) (and ... (p x-n)))
Intermediate Student Language