It's not actually clear to me that this is broken: What's the failure case?