永恒声明

invariant assertion