Definition of Abduction