Statement: all documents are files Some files are papers All papers are certificates No certificate is a manuscript Conclusion: At least some documents are papers No manuscript is a document At least some certificates are files No paper is a document