[++] update assertions