Logan Zoellner comments on A List of things I might do with a Proof Oracle