Convert Formula.factory() to Formula[]