[ i0 , ^8 aig.