User blog comment:B1mb0w/The S Function Version 2/@comment-5529393-20160710174229/@comment-5529393-20160710174649

Hmm, it looks like T(0) actually gets replaced by a, so I retract my previous comment.