@jeanas I'm not sure I'm the person for that! I don't actually do any n-categories where n>3. And only very barely some very small examples for n=3.