I just assumed he meant XIII but mistyped, since who compares XV to XII?

And if he hates XII, that’s his loss