introduce abbrev UF