update assertion