Comments by "OK" (@OK-pi6fq) on "ProfSteveKeen" channel.