Update cyber invariant.