Because inside a finite group the order of an element needs to be a divisor with the order of the group, as a result o (a) can not be three and so we have to have o (a)=4=the order of the group G. I came upon Twicsy by chance and https://www.archibaldfrederitch.shop/