fixed arbitrary and evaluation of a formula