This article examines the future of formal methods in software development. It highlights a retrospective from Jane Street, reflecting on the organization's long-standing disinterest in formal verification techniques over the past two and a half decades.