First attempt to support trace formulas