Malcev's applications to group theory

We start with an account of the method of diagrams, introduced independently by Malcev and Abraham Robinson, and proceed with the method of interpretation, which seems to have been some sort of folklore as early as in the thirties.