空軍が何故ibm 7094をもう1台使うという選択をしなかったのかは謎である。