Before revision:   We further provide mathematical formulations for regulatory and utility functions satisfying the necessary conditions for these existence and uniqueness results.
After revision:  We further provide mathematical formulations for payment rules and utility functions satisfying the necessary conditions for these existence and uniqueness results.