. "is as defined above, J6 is halogen atom such as bromine atom, iodine" . . . .