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. This episode is distributed under a CC BY-SA 4.0 license (https://creativecommons.org/licenses/by-sa/4.0/)