define functionally redundant