Page 2, below Lemma 1.1: 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 K4} \}.
Therefore, we refer to this model as the exact models for ${\bf F}(n)$.