OrdinalSkulls.sats