Before revision: Consider the following equation: The third product term is redundant .
After revision: Consider the following equation: The third product term is a redundant consensus term .