occurs within event Mathematical Logic and Theoretical Computer Science Seminar, Heidelberg University, Germany