Descriptions for new formulae