Clarify the provenance of our Lucas test.