Resolved the comment "indexed invariant".