diff --git a/tla/consensus/MCabs.cfg b/tla/consensus/MCabs.cfg
index 4e275454c56f..dd94f29d3008 100644
--- a/tla/consensus/MCabs.cfg
+++ b/tla/consensus/MCabs.cfg
@@ -15,9 +15,10 @@ INVARIANTS
     TypeOK
 
 PROPERTIES 
-    InSync
+    \* InSync and AllSyncing not expected to hold for MachineClosedFairSpec.
+    \* InSync
+    \* AllSyncing
     Syncing
-    AllSyncing
     AppendOnlyProp
     \* EquivExtendProp
     \* EquivCopyMaxAndExtendProp