Updates to the framework, and abstraction definition.