WIP; soundness of 0 + n optimization