Comments by "pinball1970" (@pinball1970) on "Numberphile" channel.