Exercise $7.$ If $(\backslash$phi $->\backslash$psi $)$ is a contradiction, explain why $\backslash$phi must be tautology, and $\backslash$psi must be a contradiction $($an unsatisfiable WFF$)$