our first derivation