Text this: Consistency of group key exchange protocols