\forall n. \forall m. n + m = n