[math-fun] Hartle Hawking "no boundary" proposal