The CIA invests in start-ups.