From 594aa865d21cd7765de52aa02c554ee326df310d Mon Sep 17 00:00:00 2001
From: Alexis Beingessner <a.beingessner@gmail.com>
Date: Wed, 29 Jul 2015 15:55:19 -0700
Subject: [PATCH] add warning about reference section

---
 references.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/references.md b/references.md
index da70dd5..3d7369e 100644
--- a/references.md
+++ b/references.md
@@ -22,6 +22,10 @@ what *aliased* means. To define aliasing, we must define the notion of
 *paths* and *liveness*.
 
 
+**NOTE: The model that follows is generally agreed to be dubious and have
+issues. It's ok-ish as an intuitive model, but fails to capture the desired
+semantics. We leave this here to be able to use notions introduced here in later
+sections. This will be significantly changed in the future. TODO: do that.**
 
 
 # Paths