On this problem episode, join Sofía and guest Diane Baca to learn about what an early attempt to formalize the natural numbers has to say about whether or not m+n equals n+m. [Featuring: Sofía Baca; Diane Baca]