Talk:Principal of the Thing/@comment-39096255-20190829174906/@comment-43372138-20190903130240

Interesting. Proof?