Are there any other cases where this isn't a commutative diagram (i.e., transform then BTS != BTS then transform)?
For now, I couldn't think of any and the BTS-then-transform does indeed seem purely an optimization.