Definition of Disentail