This is a summary of a talk given at the Logic Institute on July 2. The talk reviewed the existing literature on the subject and expounded new results, as yet unpublished.