Ban‐Linial's Conjecture and Halin Snarks | Synapse