Derivation triple. 15609

}