redundant states