Why be redundant?