analysis) -- the various presuppositions -- seem not so obvious. 

HC: So, please be aware that I do not have in mind to defend Quine's proof of 
    reduction to non-triadic relations.  But that he gives a proof or apparent 
    proof seems a chief point of interest.  On the other hand, Peirce's contrary 
    arguments to the effect that triadic relations cannot be reduced, seems to 
    involve presuppositions connected with his use of teridentity, in contrast
    to the usual versions we see in logic boo