definition of substitution, free for