basic invariant