this gives rise to intuitionistic logic it is considered that the y haplogroups expanded in a demic diffusion