Robert Pearson rpearson [snail] systemfabricworks.com Nov 26, 2008 Well I bought the book. It’s a trip down memory lane. I still remember your notebooks full of birdtracks at IAS. The connection to IHES is interesting since I ended up living there for a year later and Pierre Deligne was my next door neighbor. I tried to read a bit and I think there is a type near the beginning. You define a (multiplicative) group as having an identity element e such that eg = ge for all g in G. You must have meant eg = ge = g.