RelBib: An Analysis of Some of J. J. C. Smart's Objections to the Proofs' https://relbib.de/Record/1686160321/Details