document(Document) is true if and only if Document is the document object. If Document is a variable, it will unify with said object.