redundantCondition