Fitch's proof requires explosion (ex contradictione quodlibet) to derive that omniscience follows fr...