A new proposal for integrating the employment of formal and empirical methods in the study of human reasoning.