Title: Foundations of geometry