A definition of EVIL.