Premise: Linux . Some of the most popular mainstream Linux distributions are Arch Linux , CentOS , Debian , Fedora , Gentoo Linux , Linux Mint , Mageia , openSUSE and Ubuntu , together with commercial distributions such as Red Hat Enterprise Linux and SUSE Linux Enterprise Server .
Hypothesis: Linux does not distribute Arch Linux.
Label: CONTRADICTION