Verifying Journal Indexing