Email Record: Notes on the Brown-Douglas-Fillmore theorem /