A proposition must be understood when all its indefinables are understood. The indefinables in “aRb” are introduced as follows:
       “a” is indefinable;
       “b” is indefinable;
        Whatever “x” & “y” may mean, “xRy” says something indefinable1 about their meanings.
 

Editorial notes

1) See facsimile; line instructing indentation.