Understood. In dynamic verification, does that same line hold? Or would you say it is it unique to formal verification? If so, why?