At high densities but relatively low temperatures, quarks are theorized to form a quark liquid whose nature is presently unknown. It forms a distinct color-flavor locked (CFL) phase at even higher densities. This phase is superconductive for color charge. These phases may occur in neutron stars but they are presently theoretical.