A proposition must be understood when all its indefinables are understood. The indefinables in “a R b” are introduced as follows:


      “a” is indefinable;
      “b” is indefinable;
      Whatever “x” and “y” may mean, “x R y” says something indefinable about their meaning.