gravanoc
Invariant
gravanoc