**Ticket's P at transfinite indexes reaches Π^{1}_{2}-CA strength and possibly more
I forgot that Iso changed their name ;-;
