abstract pump (pumpstract)