Appendices for SI O: Smoothing Inference with Twisted Objectives AT able of Notation