If omnipotence is domain-relative or conditionally scoped, the reductio presupposes an absolute conc...