 These two theories are incompatible. There are many other examples. In fact, the examples are so ubiquitous and the technique is so general that there is reason to believe that ADL(ℝ) lies in the overlapping consensus of all sufficiently strong, natural theories. 