today I learned about assume unchanged.