substitution doc