Loading paper
Orthogonality for biadjoints of operators | Tomesphere