diff --git a/doc/manpages.tex b/doc/manpages.tex
index 198a6ef989f4a82581b2c2f419d7666b3b3414c0..d6462e0c82de269005f3c63348762270106954c4 100644
--- a/doc/manpages.tex
+++ b/doc/manpages.tex
@@ -439,6 +439,20 @@ are grouped together under several tabs.
   decision by clicking on it.
 \end{description}
 
+% \subsection{Displaying Counterexamples}
+% 
+% how to use counterexamples - explain labels, projections, the option --get-ce of why3prove and the setting in why3ide
+% 
+% problem with set logic and counterexamples
+% 
+% which provers
+% 
+% where it is displayed
+% 
+% how to interpret the display
+% 
+% example
+
 
 \section{The \texttt{bench} Command}