Notes where I worked out some derivations: