Zaslat SMS: The elementary theory of groups :