I would like to say we've proven such a theorem for Russell, but Alan's been awfully slow about it.