redigested

REDIGEST'ED, pp. Digested again.