Semi-classical theory