Definition of REVOCATOR