:I can't agree to the removal, although I understand your point.  My goal was only to stay close to the original (unloaded) derivation, and then discuss deviations in the loaded case.  I'm sure that we can find a good compromise.