So that was not redundant at all...