Soundness of 0 + n optimization