diff --git a/css-conditional-5/Overview.bs b/css-conditional-5/Overview.bs
index 1e18523f3c8..5525c69b84b 100644
--- a/css-conditional-5/Overview.bs
+++ b/css-conditional-5/Overview.bs
@@ -161,28 +161,11 @@ Generalized Conditional Rules: the ''@when'' rule
It is defined as:
- @when <> {
+ @when <> ]>> {
<>
}
- Where <> is a boolean algebra a la [[mediaqueries-4#mq-syntax]],
- but with ''media()'' and ''supports()'' functions as leaves.
-
- Issue: Define "boolean algebra, with X as leaves" in a generic way in Conditional,
- so all the conditional rules can reference it directly,
- rather than having to redefine boolean algebra on their own.
-
- The ''media()'' and ''supports()'' functions are defined as:
-
-
- media() = media( [ <> | <> | <> ] )
- supports() = supports( <> )
-
-
- A ''media()'' or ''supports()'' function is associated the boolean result
- that its contained condition is associated with.
-
Chained Conditionals: the ''@else'' rule
@@ -209,13 +192,13 @@ Chained Conditionals: the ''@else'' rule
It is defined as:
- @else <>? {
+ @else <> ]>>? {
<>
}
''@else'' is interpreted identically to ''@when''.
- If its <> is omitted,
+ If its <> is omitted,
it's treated as having a condition that's always true.
A conditional rule chain is