The semiclassical limit of eigenfunctions of the Schrödinger equation and the Bohr-Sommerfeld quantization condition, revisited