Penal substitutionary atonement is everywhere like you mentioned that preposition "for' is from the Greek huper or anti and should have been translated "in the place of " or "as a substitute", "on behalf of," "for the sake of" just to name of few definitions, and don't forget that Bart is a false New Testament scholar and I'm being nice