\item \lect $p,p \imp q,p \imp (q \imp r)\ent r$