set encoding on output of temporal formulas as well