inference problem