Dillon, M. R., Huang, Y. & Spelke, E. S. Core foundations of abstract geometry. Proceedings of National Academy of Sciences of the United States of America 110, (2013).