(((SubStar[Φ])=min{Φ(0),Φ(-a/2b-s)}=min{as+(bs^2),-(a^2)/4b}=a   max{s,-a/2b}+((b   [max{s,-a/2b}])^2))==\[Placeholder](89))