Maybe it could also make sense to assume independent distributions of documents and eg. have `df = df1 + df2 - (df1 * df2 / maxDoc)`?