I don't think this is useful. Perhaps we should drop it.