Strict_n-category loading ...