added entailments