From 74ac7196c9f141c786500fcef10a86a08d79f2e7 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Thu, 29 Oct 2015 11:24:16 +0100
Subject: COMMENT: question

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

diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex
index 38e7db18e5..9db8c8328b 100644
--- a/doc/refman/RefMan-cic.tex
+++ b/doc/refman/RefMan-cic.tex
@@ -98,6 +98,8 @@ inconsistency} error (see also Section~\ref{PrintingUniverses}).
 % - explain why it arised
 % - how can a user identify the "vicious cycle".
 
+% QUESTION: Is the presentation of universes as totally ordered a necessary or advantageous step?
+
 %% HH: This looks to me more like source of confusion than helpful
 
 %% \subsection{Constants}
-- 
cgit v1.2.3