Better invariant.