diff --git a/algebra/.#exact_couple.hlean b/algebra/.#exact_couple.hlean
new file mode 120000
index 0000000..a728d5c
--- /dev/null
+++ b/algebra/.#exact_couple.hlean
@@ -0,0 +1 @@
+Steve@steveawodeysAir.wv.cc.cmu.edu.268
\ No newline at end of file