Title: Viewing reasoning as program execution