We consider the elementary part of the theory of free products of groups. We reviewthe history and then give an elementary proof that the multiplication in the free product is associative. This proof originated in a suggestion by the second author and has not been noticed,to our knowledge, by the experts.