Aid understanding

I think the main issue of "the problem of faithfulness to deductive reasoning" is not explained in the page, can you explain what is meant my faithfulness to deductive reasoning, maybe using laymens terms or with some example ?

Hi Obada, to make it clear, I have added a short subsection under the introduction to define what is meant by "faithfulness".