Equivalence between time consistency and nested formula