Definition:

digester