Xuenou > carl squared