Theorem_stencil loading ...