Ciardelli, Ivano (Assistant Professor, Munich Center for Mathematical Philosophy, Ludwig Maximilian University); Groenen