part of Object Annotation
March 2008: I'm trying an experiment: radically shortening the text of the proof to see who notices, and appending the full text here.