Appendix B — \(\:\vDash \varphi_M \iff M(\varepsilon) \neq \infty\)

Wordcount: 2