dempster.bmp (image)