remove assume unchanged