diff --git a/proposal.md b/proposal.md
index 12d4356c7..e3ce15118 100644
--- a/proposal.md
+++ b/proposal.md
@@ -2,8 +2,8 @@
 
 - #pull [[proposition]]
 - Let's implement [[basic income]] in the [[fediverse]].
-  - What is the [[fediverse]]? I say it's the  [[federat]] [[free internet]] in the [[commons]].
-    - The [[Agora]] tries to be a cross-platform integrator and governance platform for the wider internet ecosystem.
+  - What is the [[fediverse]]? I say it's the [[federated]], [[cooperative]], [[free internet]].
+    - The [[Agora]] tries to be a cross-platform integrator and governance platform for the wider internet ecosystem. It takes the shape of a [[knowledge commons]].
     - See also: my [[plan]].
   - I think [[Elon Musk]] could get behind:
     - [[basic income]] (initially not universal), maybe in the form of [[grants]] fully compatible with late stage capitalism
diff --git a/proposition.md b/proposition.md
index 637a1e904..27f53522f 100644
--- a/proposition.md
+++ b/proposition.md
@@ -1,6 +1,4 @@
 # Proposition
 
 - "I have a [[proposition]]", said [[proposition joe]] in [[the wire]].
-- [[pull]] [[proposal]]
-
-
+- #pull [[proposal]]