"Jack Yi" <piziyi at gmail.com> writes: I think it is redundant. What do you think is redundant? -- Torbjörn