Stav dette: Semi-classical approximation in quantum mechanics