jsalvatier comments on Making your explicit reasoning trustworthy

[jsalvatier]

I too noticed that some of the examples did not necessarily involve abnormally explicit reasoning.