andmap
andmap : ((X -> boolean) (listof X) -> boolean)
purpose:
(andmap p (list x-1 ... x-n)) = (and (p x-1) (and ... (p x-n)))
Advanced Student Language