These are notes (13 pages) of a talk given in the Swansea finite model theory tutorial, 8-9 July 1996. Other speakers' notes are available from the same place.