Brown-Douglas-Filmore Theory