# Sum of zeros in finite Galois field

In the following code:

<< FiniteFields
GF[2][{0}] + GF[2][{0}] == GF[2][{0}]
GF[2][{0}] + GF[2][{0}] + GF[2][{0}] == GF[2][{0}]


Why does the second line not evaluate to True`, while the third line does? This seems to be an inconsistent treatment of finite field elements.