A Derivation of the Evidence Lower Bound and SLAC Objectives