Add the function `storePush` since it's used in the definition of `force`
Change the explanation of the functions in the Push array section to
include `storePush` and `force`