User blog comment:P進大好きbot/Relation between an OCF and an Ordinal Notation/@comment-32994025-20190811194559/@comment-32994025-20190811225756

Ok, thank you!