mnli premise: There has been no Deputy Comptroller General since Bob Keller passed away over two decades ago. hypothesis: A special election would need to be held to choose a new Deputy Comptroller General.