finish up notes about lens derivation