Tag: two types of reasoning