Removal of equalities does not happen by default