Title: Foundations of dynamic geometry