assertion changed