ordinalsmaximalsit.sats