Text this: Well-orders in the transfinite Japaridze algebra.