From 28b67edb950663afd2d33878d13acfd4217752c7 Mon Sep 17 00:00:00 2001
From: Kevin Buzzard <k.buzzard@imperial.ac.uk>
Date: Fri, 22 Dec 2023 16:44:04 +0000
Subject: [PATCH] a note about future worlds

---
 todo_worlds | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 todo_worlds

diff --git a/todo_worlds b/todo_worlds
new file mode 100644
index 0000000..b2f9ee0
--- /dev/null
+++ b/todo_worlds
@@ -0,0 +1,3 @@
+Less than (and strong induction)
+even/odd (written by Ivan)
+divisibility, prime, hard (all written by Archie)