Kawoomba comments on Constructive mathemathics and its dual