$(20$ Points$)$ Prove $($via structural induction$)$ that any WFF $($well$-$formed formula$)$ written in terms of $,,$ can be expressed using only the ternary ifte $($if$-$then$-$else$)$ operator defined as $($ p $$ q$)($p $$ r$)$ ifte $($ p$,$ q$,$ r$)$ in question $3($again$,$ this is literally just the programming construct $$if p$,$ then q$,$ else r$).$ You may use the constants true and false in your proof if you want