iridotomy: a surgical procedure that makes an incision in the iris of the eye in order to enlarge the pupil or to treat closed-angle glaucoma
eye operation: any surgical procedure involving the eyes
local option: freedom of a local government to determine by popular vote the applicability of a controversial law in their jurisdiction