 inner true and $\mathfrak{A^{\alpha}}$ is outer true with respect to man $\beta$. Man $\alpha$ thinks that $\mathfrak{A^{\alpha}}$ is empirically true with respect to man $\beta$ if and only if $\mathfrak{A^{\alpha}}$ 