Intermediate reasoning