with asserts working for Integral Invariant