We review some recent results concerning the Hartle-Hawking wavefunction of the universe. We focus on pure Einstein theory of gravity in the presence of a positive cosmological constant. We carefully implement the gauge-fixing ...