From cf7fb536777674b093ee1c5ac33126f75a55e12b Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Thu, 29 Oct 2015 10:38:25 +0100
Subject: COMMENT: to do

---
 doc/refman/RefMan-cic.tex | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex
index 7f9d4e5ecb..6db02c0f24 100644
--- a/doc/refman/RefMan-cic.tex
+++ b/doc/refman/RefMan-cic.tex
@@ -93,6 +93,12 @@ constraints must remain acyclic.  Typing expressions that violate the
 acyclicity of the graph of constraints results in a \errindex{Universe
 inconsistency} error (see also Section~\ref{PrintingUniverses}).
 
+% TODO: The concept of 'universe inconsistency' deserves more attention.
+% Somewhere in the document we should:
+% - give concrete examples when universe inconsistency arises
+% - explain why it arised
+% - how can a user identify the "vicious cycle".
+
 %% HH: This looks to me more like source of confusion than helpful
 
 %% \subsection{Constants}
-- 
cgit v1.2.3