Define "decidable" in chapter 3, close #190