A DEFINITION FOR MICHEL BLUM. 1988.