The goal of this paper was to investigate the role of formal constraints (e.g. definitions, theorems) in geometric reasoning. Four students participated in a task-based interview including 2D Euclidean geometric locus ...