QUIC-INVARIANTS