User blog comment:Nayuta Ito/Introduction to Taranovsky's Ordinal Notation/@comment-40154718-20190917135457/@comment-25337554-20190918052742

Wow, this is great!