Easy to fuse this loop with the `andmap`.