RedundantTautology

RedundantTautology has not provided any additional information.