Text this: Notes on the Brown-Douglas-Fillmore theorem /