r12-2
peano arithmetic
ring 12 · position 2 · 75.0°