Page 2, line 7: We add the following sentences.

Here, we only treat the exact models for ${\bf F}^n$ satisfying
M \models A for any A \in \{ A' \in {\bf F} \mid A' \in {\bf S4} \}.
Therefore, we refer to this model as the exact models for ${\bf F}^n$.