AnnaSalamon comments on Making your explicit reasoning trustworthy

[AnnaSalamon]

Could you give examples?