. "x is an integer of 1 to 12 when R22 is CN; and" . . .