Modeling human reasoning. Enhancing human performance.