Comment Comment by aleph_naught It's all just a series of S(S(S(....S(0)))) anyways. parent aleph_naught 1 year ago