change assignment ':=' to '=' for simplicity
use '==' when declare a ODE