“It is not possible to understand Luther as grounding the blessed exchange in the fact of the believer’s union with Christ. To do so would deny that the justitia aliena is imputed and would put the two motifs in opposition to each other. Furthermore, union with Christ is the result of justification, not the other way around.”