So there's the old joke—if anyone asks "is mathematics invented or discovered?," you can always answer that arithmetic was invented but geometry was discovered. Ha! on token chat