Divine omnipotence does not extend to logical contradictions, including overriding libertarian free ...