Title: Logically Consistent Market Share Models