half 8 ; Higma^sn OrdBat.