Untitled

correzione: $\Delta \models p\lor r$