We argued that formal objections to the error theory overgeneralize and therefore fail. Christine Tiefensee and Gregory Wheeler deny this. We argue that they are wrong, for two reasons. The first concerns how we should adjudicate conflicts between formal and substantive commitments. The second concerns an overlooked tension between formal objections and non-error-theoretic views. Our discussion shows that the commitments behind formal objections to the error theory, such as the dual schema, should be regarded as much more contentious than is (...) often assumed. (shrink)