Definition. If $\mathbb{P}$ is any forcing, let

$$\mathrm{OL}:=\{A_n:n\in \omega \}$$

be any $\omega$-sequence of antichains in $\mathbb{P}$.

Let

$${\tau }_{\mathrm{OL}}:=\{(ň,p):p\in A_n\}.$$

We call these nice names.