Prove Reflexivity of $\equiv$: p $\equiv$ p
Proof: $ q $ $\iff$ <Identity of \equiv: $true \equiv q \equiv q$> $q \equiv q$ $\iff$ <Renaming> $p \equiv p$
