talk: inference procedure, plan for rest, conclusion slide