Loading paper
Minimal counting systems and commutative monoids | Tomesphere