Comments on Yang Hui: