1. Department of Philosophy, Karlsruhe Institute of Technology, Germany. E-mail: gregor.betz@kit.edu
2. Department of Theoretical Informatics, Karlsruhe Institute of Technology, Germany. E-mails: michael.hamann@kit.edu, tamara.mtsentlintze@kit.edu, sophie.schmettow@student.kit.edu