Gave up on "Induction"
minor changes
fix merge conflicts