In particular we study the case where cryptographic primitives are modelled using a group theory. Group theories are a special case of monoidal theories which have been extensively studied by F. Baader and W. Nutt [20,6] who have provided a complete survey of unification in these theories. Group theories include theories for exclusive or and Abelian groups.

He was a stout, squat figure, with a square face and broad black eyebrows, that announced him to be opinionative and disputatious.

Among anthropologists old ethnographic descriptions and travelbooks have a bad reputation. With the exception of ethnohistorians, anthropologists make little use of these sources for ethnographic research because of their reputed lack of reliability.

Ixion […] turn'd dancer, does nothing but cut capreols, fetch friskals, and leads lavaltoes