Loading paper
Forward operator monoids | Tomesphere