User blog comment:Boboris02/Large number combinatorics III:Sigma ordinal notation/@comment-5029411-20170222140908/@comment-30118230-20170222155453

I'm already doing that.