invariant = constant

you were right to push back = previous response was wrong