found a way to yield temporal formulas analytically