mnli premise: There has been no Deputy Comptroller General since Bob Keller passed away over two decades ago. hypothesis: Bob Keller was replaced by a new Deputy Comptroller General soon after his death.