Revised stmt. of group action results
Merge notes