To appear in proceedings: