ABCF derivation done.