If post-mortem corrective experience can bring rational agents to freely choose good, God's triumph ...