The subject of this article is Modal-Epistemic Arithmetic, a theory introduced by Horsten to interpret Epistemic Arithmetic, which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret Modal-Epistemic Arithmetic in Epistemic Arithmetic and I will show how to get rid of a particular Platonist assumption. Then I will discuss models for Modal-Epistemic Ari...