FAQ 12: The Life of Benjamin (717) - What are the earliest sources?