Loading paper
Non-unital Ore extensions | Tomesphere