The Kauffman bracket ⟨K⟩ is a polynomial in A satisfying the skein relation ⟨L⟩ = A⟨L₀⟩ + A⁻¹⟨L∞⟩ and ⟨unknot⟩ = 1. After writhe correction, it yields the Jones polynomial V(t) at t=A⁻⁴. Skein relations reduce any knot diagram to sums of unknots, computing an invariant that detects chirality and distinguishes many knots that Alexander polynomial cannot.