Models of reasoning