Introductory laboratories -- what is a group?