\item \lect State the $=$-introduction ($=$i) and the $=$-elimination ($=$e) rule. Explain how both rules work using an example for both rules.