proposition
Proposition 7.3
Bridge-chasing escape
Proposition 7.3 (Bridge-chasing escape). For and , let These are even palindromes. For , whereas the bridge of is . The search for the -transition from therefore makes exactly failed bridge tests before reaching the variable target .