coequalities