QHJ, WKB and exact quantisation

We present a simple derivation of the WKB quantisation condition using the quantum Hamilton-Jacobi formalism and propose an exact quantisation condition within this formalism for integrable models in higher dimensions.