Redefinition of AntDefinition