Definition of Entail