Definition of QUARRY