the output of $\textit{Random(1)}$ is uniform in $\{0,1\}$.
Let $f: \Bool^{n} \rightarrow \Bool^{n}$.
-It has been shown~\cite[Th. 4, p. 135]{BCGR11}} that
+It has been shown~\cite[Th. 4, p. 135]{bcgr11:ip} that
if its iteration graph is strongly connected, then
the output of $\chi_{\textit{14Secrypt}}$ follows
a law that tends to the uniform distribution
