Solved most generic inference problems