Changing input, assertion