functionally redundant