Thinking about backward propagation