diff --git a/fco/soccam-2.1-spec.txt b/fco/soccam-2.1-spec.txt
index b391717..390ba6c 100644
--- a/fco/soccam-2.1-spec.txt
+++ b/fco/soccam-2.1-spec.txt
@@ -72,7 +72,7 @@
 	<guarded.alternative>
 	<alternation>
 	(?case <channel> <variant>+)
-	(?case-guarded <boolean> <channel> <variant>+)
+	(cond <boolean> (?case <channel> <variant>+))
 	(: <specification> <alternative>)
 
 <assignment> :=
@@ -220,8 +220,8 @@
 
 <guard> :=
 	<input>
-	(guarded <boolean> <input>)	;; overloaded meaning of "guard" here
-	(guarded <boolean> skip)
+	(cond <boolean> <input>)
+	(cond <boolean> skip)
 
 <guarded.alternative> :=
 	(<guard> <process>)