The Elementary Theory of Groups