Definition of Inductio