Identifying formulas