more mayer-vietoris simplifying