ordinalrainbows.sats