User blog comment:Alemagno12/Huge Ordinal Analysis I: Z 2/@comment-30004975-20180204184704

Yes. Also, x and y are numbers, not sets.