diff --git a/notes/meeting-04-20-2018.org b/notes/meeting-04-20-2018.org
new file mode 100644
index 0000000000000000000000000000000000000000..ac0abccfefc2624e9ca7f0c0914d0bed36e10ae8
--- /dev/null
+++ b/notes/meeting-04-20-2018.org
@@ -0,0 +1,5 @@
+* Stoups are good, keep them, but maybe we can get rid of them? It's more modular
+* Is F(>->) -| <<- I need to check the adjunction properties
+* Notation
+  - Underbars? or A,B,C vs X, Y, Z
+* Focusing for Operational Semantics?