User blog comment:B1mb0w/Finite: a tour of the finite numbers/@comment-11227630-20160623112907/@comment-10262436-20160624074721

Ok. I have edited point 2 accordingly.