* derivation completed