redundant state