Theories for thinking