∞-category loading ...