assiom (assiom) - Pump