Formal Sharing and Heritage