diff --git a/lib/friebyrd.coffee b/lib/friebyrd.coffee
index 856300e..5b4a527 100644
--- a/lib/friebyrd.coffee
+++ b/lib/friebyrd.coffee
@@ -60,6 +60,9 @@
 
   F.ignorance = new Bindings()
 
+  F.$x = F.lvar("x")
+  F.$y = F.lvar("y")
+
   # Unification
   # -----------