Definition of CIRCUMDUCTION