Then ∃xFx is false even though a substitution instance (in fact every such instance under this interpretation) of it is true.
那么 ∃xFx 为假，即使它的一个代换实例(实际上在这个释义下所有这种实例)为真。