finish checking invariant (20), not completely stable