This assertion is not needed, since it will be true whenever the previous one is true.