G'Reduce("and", True)