Based on the definition above, the parenthetical is redundant here.