[-v2] parentheses after invariant