diff --git a/lib/prelude.mjs b/lib/prelude.mjs
index 1e48bae..8e5f5d4 100644
--- a/lib/prelude.mjs
+++ b/lib/prelude.mjs
@@ -1,4 +1,7 @@
 export default [
 	"T = a b → a",
 	"F = a b → b",
+	"id = a → a",
+	"omega = f → f f ",
+	"K = a b → a",
 ];