Spec for `execute()` result in update case.