https://link.springer.com/article/10.1007/s11229-025-05319-6