Counterexample disproves Spencer-Brown's claim about parity-pass algorithm.
problem Disproving Spencer-Brown's claim about the parity-pass algorithm and its relation to edge colorings.
method Provided a counterexample to Spencer-Brown's algorithm on non-polar pentagons.
result The parity-pass algorithm does not necessarily terminate in an extendable edge coloring.