Horns in Billiards

We show that, like cusps, horns in billiards expel every trajectory after finitely many collisions. We further produce an adiabatic invariant.