Lemma 3.13. $\mathrm{val}(\check{x},F)=x$ if ${𝟙}_{}\in F$.