Description of a Notation for the Logic of Relatives, Result by Charles Sanders Peirce