That's why I edited the title is more like an introduction to some types of reasoning