Careful with those SUBPROOFS! ⟨08,04⟩

Sometimes, we're tempted to reach back into a subproof, and pluck out a sentence that we proved on the basis of an assumption, but which we did not prove absolutely. It is a temptation to resist.

Here we see some examples of this, and why it's not allowed.