Comments by "nozrep" (@nozrep) on "3Blue1Brown" channel.