Reasoning About Theoretical Entities door Thomas Förster