making sure the assume unchanged works