Formal Verification Becomes Less, Well, Formal · Hindsight | Envisioning