added auto-follow to derivation argument