Loading paper
Primely generated refinement monoids | Tomesphere