somewhat redundant tautology may be repetitive.