We should invent a language like stenography or algebra, in which it would be impossible not to express something if it is not either a fact or an implication. Then we can see at first sight whether it’s dense or not.