in 8:0 , I R:d . Z2 | j.