Modified the co-induction principles.