Sometimes, in the course of a proof, we are required to remove or "discharge" an assumption.

Group of answer choices

This can only happen to assumptions we made for a Hypothetical Rule.

Discharging an assumption means that it is gone forever and can never be used again in the proof.

We do this whenever we have an assumption we don't need at the end of the proof.

This occurs when we apply one of the Hypothetical Rules, like CP$.$

This occurs on the line just before we want to use a Hypothetical Rule, like CP$,$ since getting rid of the assumption is a requirement to use the rule.

This occurs on the line just after we apply a Hypothetical Rule, like CP$.$