Inductive False and Truth, negation