andmap -> for/and