Inferring divine choice from wise order automatically establishes the doctrine that God is obligated