Simpler BibCheck rule