Finish off redundancy exploration