ordinalogist.sats