Require be not to change after .get()

w3c · Jun 14, 2023 · d8b42fe · d8b42fe
1 parent 72ef9bb
commit d8b42fe
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/index.bs b/index.bs
@@ -5527,6 +5527,8 @@ a numbered step. If outdented, it (today) is rendered as a bullet in the midst o
 
     1. If <code>|credentialRecord|.[$credential record/backupEligible$]</code> is set, verify that |currentBe| is set.
 
+    1. If <code>|credentialRecord|.[$credential record/backupEligible$]</code> is not set, verify that |currentBe| is not set.
+
     1. If <code>|credentialRecord|.[$credential record/backupEligible$]</code> is not set, verify that |currentBs| is not set.
 
     1. Apply [=[RP]=] policy, if any.