Draft of derivation (not tested)