Joachim Bartosik comments on On DeepSeek’s r1