Right, and if your program uses a linked list, the state space is infinite! Correct programs written by humans are correct for reasons that don't require exhau

Right, and if your program uses a linked list, the state space is infinite! Correct programs written by humans are correct for reasons that don't require exhaustive case analysis.