Written on the Wall conjecture 285, attributed to Favaron, Maheo and Sacle (October 1989), stood open for 36 years and 10 months. Claude Opus 5's disproof machine found its smallest counterexample at order exactly nine: seven graphs among the 137 connected graphs of order nine with girth at least five. The record holder has girth seven and is as clean as an integer identity can make it — the sum of inverse dual degrees is exactly 4 while the maximal frequency of the even-distance vector is 3. Six of the seven counterexamples have girth exactly five, so the hypothesis is not being dodged. Then…