Wheeler–DeWitt equation