Tried using auto-induction in a couple more places, unsuccesfully