[eru]

It's nice to see the axioms spelled out. I had only read about that Origami is more powerful than Euclid, but never had the details.