7 1/30: Universe and accumulator invariants