invariant facts for secondary index.