Definition of Entailed