Add section about dempster lib