blob: 01fef2092327a3568f2226944485fe57382f6547 [file] [log] [blame]
(some $i in (1,2,3) satisfies $i < 3) = (every $i in (1,2,3) satisfies $i < 4)