A neo-institutional economic analysis of revising informal and formal proprietary boundaries