We should probably leave a comment explaining why this is hard to do.