Redundant inst