Suppose G is a group where all non-identity elements are of order 2. Is G abelian ?