Suppose I modify the $($I$)$ rule so that it can

discharge an assumption while keeping all the other rules of

logic the same.

$[$p true$]$

u

q true

$($I

$$

$)$

u

p $$ q true

What goes wrong? Are there any obviously false statements

that you can prove now?