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