finish the check for assertion "after 3" in update()