extinguen