Sound and Complete Equational Reasoning over Comodels Dirk Pattinson