axioms

• substantial
• shorting
• repetitious
• nonessential
• Jones