Truism is to axiom a grandeur is to?