diff --git a/src/lm.lm b/src/lm.lm
index 85872cabf..078289726 100644
--- a/src/lm.lm
+++ b/src/lm.lm
@@ -10,3 +10,6 @@ the code and IP as they would like. Please, just be nice.
 LM: The Full Language Definition
 
 */
+
+eval := λx. eval-ctx () x
+eval-ctx := λctx x. ()