Replying...
Intro. Just put in objective / goal. Based on Appendix B, p.27 of arXiv:2307.15043

JB-arXiv:2307.15043

@Daniel Yaacov Bilar