(= 8/2)