Applicative simulation and Howe's method.