For the definition of redundant - see redundant. Sorry about the double pump.

G