Paper on generic eliminators for Desc'riptions