Talking to AI today on formal methods, verification, and an overview of the design flaw that led to the failure of the Apollo 13 oxygen tanks. Apollo 13 liftoff #OTD in 1970.