"When R13 is a halogen atom it may be for example a fluorine, chlorine, bromine, or iodine atom." . . . .