User blog comment:B1mb0w/The S Function Version 2/@comment-27513631-20160617114926/@comment-25337554-20160627103526

So is the S function return ordinals? I don't understand it at all.