This does not mean that all models are necessarily extensively degenerate, that is possess a nonzero Pauling entropy [1]}, [2]}. This is a more complicated notion which depends on the product of signs of interaction on a loop. We discuss this next.
