store invariant about the depth