Verification Methodology · Hindsight | Envisioning