semi-unique terminals / was Re: Humpty Dumpty