Donaldson, T. David Armstrong on the Metaphysics of Mathematics. Dialectica 2022, 999.