add transition invariant notes