Elementary Properties of Groups