Didn't Oracle get founded to supply the CIA with data management technology?