. "produced using vertebrates such as mice, rats, rabbits, miniature pigs," . . .