Interlaken Seminar on Analysis and Ideology.