Forgot to add changes to assumptions.