Indeed. Further, at the risk of soun ding too phiosophical, this invention/discovery, Platonist/constructivist debate hinges on the fundamental notion of existence. And, as with most fundamental notions, the obvious soon ceases to be so.