Use for-all instead of our own implementation for andmap.