\item \self $p \imp q \ent (r \imp p) \imp (r \imp q)$