Tarski (i.e. Euclid ;-) )

[kbuzzard]

@alisever is working on this. First goal : to construct an equilateral triangle! Believe you me, it's much harder than you think.

[alisever]

That wasn't a very smart first goal to set...