Support pushing formulae. (additional fix)