All(x23)