On 9 Jun 2011, at 20:08, Manik Surtani wrote: > Are you suggesting #5 is superfluous and not needed? No, just that it is already covered by #4, i.e. it is a duplicate.