A mathematical commitment without computational strength - Anton Freund (2020)