ψ ≈ A(x) exp((i/ℏ)∫p dx); connection formulas at turning points; Bohr–Sommerfeld quantization ∮p dq = (n+½)h.