Replaced "and" with "∧"