[1,2] Xop <a b> no longer todo