Additions to examples and addition of proposal text