Loading paper
Construction of $a_4$ family | Tomesphere