The hideR weakening proof rule discards one available option P
from the (disjunctive) succedent.
You should hide irrelevant formulas whenever possible, because that can save a lot of computation time during the proof.
Use hideR by clicking the closed-eye symbol next to a formula you hover over.
See also