 Each of the above arguments has two parts. In the first part, one argues that there is a “good” theory (one having certain fruitful consequences). In many cases this theory explicitly includes (or just is) ADL(ℝ). In the second part, one shows that all such theories include ADL(ℝ). 