If logical validity requires variable sharing, then classical logic's most central structural rules—...