Added a derivation of the "leaning"