SMS dit: The elementary theory of groups :