diff --git a/03-DESIGN/01-to-be/39-milestones/bus-and-switch.md b/03-DESIGN/01-to-be/39-milestones/bus-and-switch.md
index c8f632d8..6b0d1e82 100644
--- a/03-DESIGN/01-to-be/39-milestones/bus-and-switch.md
+++ b/03-DESIGN/01-to-be/39-milestones/bus-and-switch.md
@@ -492,3 +492,7 @@ written; they are cited as "design 39 bus-and-switch B*n*".
 - **B21** (no tool reads the vault's `licence-bindings`): `vault_first_views` and `vault_first_view_again` cover it (P4).
 - **B22** (three internal forms): `bindings` stays at form 0; each reader decodes the event bodies with fixtures
   copied from the writer; nothing to build for an inheriting consumer (P7).
+- **B23** (what `licence-put` names a licence by): its `licence` argument is the licence's key of §10; the manager forms
+  keys, the vault does not (P8).
+- **B24** (an equal generation in `licence-put`): with the same value it is unchanged; with a different value it is
+  refused loudly as not newer (P3).