testing assume unchanged