Work on "Other logic" and induction