Changing to formulas from prefixes. removed unnecessary license