Currently covariant differentiation reduces to ordinary differentiation and yields an object with a new tensor index. The more natural notion of an intrinsic derivative is not defined by any REDTEN function, but can be evaluated directly by the user if required.