APPROVED Jeff Heflin If a document imports another document, then it entails anything that is entailed by the conjunction of the two documents.