 And it would certainly seem that if the first is false, then the second is true, and vice versa. So if being morally wrong and being morally permissible are both normative properties, then both of these claims are basic normative claims. It follows, therefore, on this formulation, that error theory is not only false, but false of logical necessity, since it entails a contradiction.