unique name for formulae