[Preliminary]
     A correct explanation of logical propositions must give them a unique position as against all other propositions.