User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-32697988-20190428074647/@comment-35470197-20190430222244

I am looling forword to seeing the formulation up to Ω_4.