If you already knew everything I explained, or have doubts about other topics unrelated to the way of doing natural deduction, stay at this section.
