Something can be assumed at one stage of a proof, but later on not count as assumed anymore.

We can assume any sentence we want.

In building a proof, we can discharge any assumptions whenever we like.

Once a sentence occurs once in a proof, it can't be used again in that same proof.

Every connective has at least one introduction rule and at least one elimination rule.