Loading paper
Polar subspaces and automatic maximality | Tomesphere