diff --git a/README.md b/README.md
index 149d3ca..917b846 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# ![](qtuwu.png) quantitative observational extensional(ish) type theory
+# ![](qtuwu.png) quantitative extensional(ish) type theory
 
 hey what would happen if some idiot tried to weld qtt and xtt together?
 let's find out together