\[s=aF\left(\phi,1/\sqrt{2}\right),\]