DB's negative specification—that basic beliefs are not inferentially justified—is itself a substanti...