Analyzing reasoning processes