chapter 5: exists