User blog comment:Wythagoras/All my stuff/@comment-5029411-20130715142856/@comment-5529393-20130716011939

Rules 3-5 are all for successor ordinals. It doesn't look like you handle the limit case or zero case.