ordinalbulls.sats