"When a thing is redundant, it is eliminated."