Exact, efficient and computationally feasible inference door Max Moldovan