conclusion + approx inference polished