@urusan If I understand the story correctly, that's who discovered the Apollo guidance computer could be re-initialized mid-mission (dumping all its guidance data)---a failure mode the verification team had not yet considered.