pushes from wk machines