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