I agree in the more general case, but in this situation it doesn't seem to buy anything *shrug*