The truths which are expressible terms of ust 'heavier than ,' together with the logical vocabulary, will be truths of only the most general kind, such as (x is heavier than y),' '(x) (x is heavier than and is heavier a. is heavier a. .