Replaced list of names by list of formulas in prop