Without a truth-maker in the bundle, the law of excluded middle becomes a logical artifact unsupport...