7.1.1 Truth introduction

This is the easiest one:

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

So, always, and with no requirements, we can write down that $\blacksquare$ is true, because it really is.