Updating some formal bits