I'm really interested in how step-by-step option works. I've read a bunch of Stephen interviews and presentations. I also digged in the Wolfram blog, but all I managed to find is so far from detailed description. I'd like to understand the principle of step-by-step solutions. I'm not asking for the code, I just want to know how it decides what steps people would like to see.