Proof-oriented geometry began with Thales. The theorems attributed to him encapsulate two modes of doing mathematics, suggesting that the idea of proof could have come from either of two sources: attention to patterns and relations that emerge from explorative construction and play, or the realisation that “obvious” things can be demonstrated using formal definitions and proof by contradiction.