Time in quantum theory, the Wheeler–DeWitt equation and the Born–Oppenheimer approximation