Theorem 53: The identity rule (inference rule)
We may (from no premises) infer that any statement entails itself:
Proof: Take as an assumption. Using conjunction introduction, we infer that the conjunction holds. Then, by conjunction elimination, we infer holds. We have now justified the inference that entails .