we DO NOT ask this, god, NEVER ask this, it's just an occupational safety thing
legitimately tho, during the last few lectures i've been in, there have been several points where we've been constructing weird arcane categorical gadgets and the instructor will ominously invoke "now, technically we need to be more careful here to avoid Size Issues" because everything breaks when you lose track of how many