Text this: The elementary theory of groups :