!!PfcppGG/dig
[31 / 7 / ?]

Bored gimme a succ

!!PfcppGG/dig ID:x2PUoNM5 No.8216131 ViewReplyOriginalReport
succ(0) + succ(0) = succ(succ(0))
succ(succ(0)) + 0 = succ(succ(0))
succ(succ(0)) = succ(succ(0))