ordinalprime.sats