It's still redundant.