Title: Reasoning in geometry