Incorrect Answer.
Incorrect Answer.
p, and this is
acheived by assuming p and obtainning a 
then applying -introduction. If we replace the assumption p with the
assumption q 
r, then an
application of -introduction
results in establishing the formula (q r) right after the
box, which is simply not our goal (and may be impossible to prove anyway).