with方程式...