workable.
check physical invariant with cyber invariant