∞-groupoid loading ...