R is mod(7,2).