 For any given default theory, extensions need not exist, and even when they exist, they need not be unique. We start with an example of the former situation: let \(\Gamma = \emptyset\) and let \(\Delta\) comprise the single  default[4] 