Identity introduction

By identity introduction, for any term $t$, we can assert that $t=t$:

$$\frac{}{t=t}(\text{II})$$