see if discussions work

blueprint/src/chapter/reductions.tex

@@ -21,8 +21,7 @@ \section{Reduction to \texorpdfstring{$n\geq5$}{ngeq5} and prime}
 Euler proved Fermat's Last Theorem for $p=3$; at the time of writing this is not in mathlib.
 
 \begin{lemma}\label{p_not_three}\lean{fermatLastTheoremThree}\leanok
-%%\discussion{16}
-{\bf TODO} discussion.
+\discussion{16}
   There are no nontrivial solutions in integers to $a^3+b^3=c^3$.
 \end{lemma}
 \begin{proof}