incorporating specialized algorithms into general inference procedures set 1 879719