Just as the busy beaver function has fixed values (like BB(800)) that existing set theory provably cannot determine, there may be fixed questions — perhaps the hard problem of consciousness or why there is a universe at all — that what we currently consider an explanation will never suffice to answer; unlike Deutsch, Aaronson refuses to assert from first principles that all such things are explainable.