From 38e3b63f87b7d958e7148ef77c91e258065d62fb Mon Sep 17 00:00:00 2001
From: Flancian <0@flancia.org>
Date: Sun, 30 May 2021 18:31:57 +0200
Subject: [PATCH] [[snapshot]]: 2021-05-30 18:31:57

Affected files:

later.md
---
 later.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/later.md b/later.md
index cff21820f..d1c4f91bd 100644
--- a/later.md
+++ b/later.md
@@ -14,7 +14,10 @@
   	- [[plurals auto pull]]
 		- equals better treatment for [[lists]]
 	  - [[force directed graph]] must auto pull [[force directed graphs]]
-		- fixes a common search case
-    - otherwise need to improve search *a lot*
+	    - that is, auto pull plurals
+		- fixes a common search case now broken (ne)
+		- auto pull makes 'or' behaviour of search trivially implementable
+		- auto pulls are [[morphisms]]
+