started on the name2formulas mapping