Vladimir_Nesov comments on Re-formalizing PD

[Vladimir_Nesov]

This is beside the point, even if it were true: you are not helping in constructing the least convenient possible world.