Actually, I don't think it's redundant, but I was just... thinking out loud, as it were...