fd6e8c7 Represent this derivation