The song of Eisenhower