Title: Sharing Equals Having