Label names can only occur at most once.