Any documents which contain reference loops are false.
Fails the partitioning test: Jacob sees half the documents, sees no
loops, draws conclusions. Kevin sees the other half the documents,
sees no loops, draws conclusions. Jacob trusts Kevin, uses some of
Kevin's conclusions.... ends up with unsound inference. (Jacob and
Kevin may be same process at a different point in time, when different
documents are available on the web.)
