Add inductive False