Autodidact comments on Re-formalizing PD