Before revision:  Additionally, we prove how this framework comes with a collection of theoretically desirable properties and enables novel analysis.
After revision:  We prove how this framework comes with a collection of theoretically desirable properties and enables novel analysis.