external entailments