Loading paper
Plotkin construction: rank and kernel | Tomesphere