Vladimir_Nesov comments on Re-formalizing PD