WYCS: changed syntax for quantifiers to square braces to avoid clashing with set expressions.