Less depends upon the choice of words than upon this, that their introduction shall be justified by pregnant theorems.