P
Initializing...
(11): the $t$-derivative of (10) is $\bar v\,\varphi(\beta^t-1)-W$ · Prove2Me