7.1.1 Enigo de vero

Estas la plej facila:

$$\begin{fitch*} \par \hline \par & \blacksquare & I$\blacksquare$ \par \end{fitch*}$$

Do, ĉiam, kaj laŭ neniaj kondiĉoj, oni rajtas skribi ke $\blacksquare$ estas certa, ĉar ĝi ja estas.