Considering the fact that in a finite team the order of an element have to be a divisor in the order of the group, therefore o (a) can not be three and so we need to have o (a)=four=the order on the group G. I came across Twicsy by accident https://www.archibaldfrederitch.shop/